../psi/prng.h